61. Defending the Axioms

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Axiomatic set theory,Axiomatic set theory, Philosophy,Axioma's, gtt,Axiomatische methode, gtt,Axiomatische Methode., swd,Mengenlehre., swd,Philosophie., swd

رده :
QA248
.
M276
2011

62. Defending the axioms

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

رده :
QA248
.
M276
2011

63. Defending the axioms :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Axiomatic set theory,Axiomatic set theory-- Philosophy

64. Defending the axioms : on the philosophical foundations of set theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Axiomatic set theory,Philosophy ، Axiomatic set theory

رده :
QA
248
.
M23D4

65. Deutung des Begriffs "physikalische Theorie" und axiomatische Grundlegung der Hilbertraumstruktur der Quantenmechanik durch Hauptsغatze des Messens

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Quantum theory,، Hilbert space,، Axiomatic set theory

رده :
QC
174
.
5
.
L82

66. Digital and Image Geometry :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
TA1637
.
G474
2001

67. Elements of Logical Reasoning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق

رده :
QA9
.
V66
2013

68. Elements of logical reasoning /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Reasoning

رده :
QA9
.
V66
2013

69. Equilibrium, markets and dynamics :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
HB145
.
E685
2013

70. Essays on the Foundations of Mathematics by Moritz Pasch

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Philosophy.

71. Feferman on foundations :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.

رده :
QA9
.
2

72. Formal Aspects of Measurement :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Software engineering.

73. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
Q174
.
M355
2013

74. Foundations of set theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.

رده :
QA248
.
F753
1973

75. From axiomatization to generalizatrion of set theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : HA Statistics

76. Fuzzy Decision Procedures with Binary Relations :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.

رده :
QA279
.
4
B954
1993

77. Fuzzy Logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.

78. Fuzzy Sets, Decision Making, and Expert Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Economics.

رده :
QA279
.
4
B945
1987

79. Game theory

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Game theory,Negotiation--Mathematical models,Axiomatic set theory

رده :
‭
HB144
‬ ‭.
P48
2015
‬

80. General topology III : paracompactness, function spaces, descriptive theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Topology,، Functional analysis,، Axiomatic set theory

رده :
QA
611
.
G4413
III